Software specification techniques

Efficient Specification Techniques for Software Visualization

SoftwareVisualization is developing into an important tool for teaching algorithms and debugging complex sequential and parallel programs. However, specifying the relationship between program objects (static ones as code statements or variables and dynamic ones as data structures or object states) and their geometric counterparts turns out to be the major bottleneck in using SV systems [1, 2, 3...

EVOLVE: Adaptive Specification Techniques for Object-Oriented Software Evolution

The increased complexity of object-oriented models necessitates the enhancement of adaptiveness and robustness of an object-oriented design towards changing requirements. The understanding of what properties are critical for construction of an adaptive schema design becomes increasingly important in software evolution. In this paper we present two groups of techniques for enhancing the adaptive...

Semi-Formal and Formal Specification Techniques for Software Systems

s in order of presentations at Dagstuhl seminar: Hartmut Ehrig Towards a Formal Model and a Component Concept for the Integration Paradigm . . . . . . . . . . . . . . . . . 1 Martin Große-Rhode Integration of Heterogeneous Software Specifications based on Transformation Systems . . . . . . . . . . . 1 Stefan Gruner A New Tool for the Simulation And Visualization of Distributed Algorithms . . . ...

Software Specification

Integration of Specification Techniques

Graphical specification notations have gained much popularity in software engineering, as witnessed by the widespread adoption of UML throughout the software industry. Graphical notations are generally characterised by being intuitive to understand, i.e. new users of these notation require little training to become familiar with them. However, few of the graphical notations have a formally defi...